翻訳と辞書 |
Argument-deduction-proof distinctions : ウィキペディア英語版 | Argument-deduction-proof distinctions
Argument-deduction-proof distinctions originated with logic itself.〔 〕 Naturally, the terminology evolved. ==Argument== An argument, more fully a premise-conclusion argument, is a two-part system composed of premises and conclusion. An argument is ''valid'' if and only if its conclusion is a consequence of its premises. Every premise set has infinitely many consequences each giving rise to a valid argument. Some consequences are obviously so but most are not: most are hidden consequences. Most valid arguments are not yet known to be valid. To determine validity in non-obvious cases deductive reasoning is required. There is no deductive reasoning in an argument ''per se''; such must come from the outside. Every argument's premises are conclusions of other arguments. Every argument's conclusion is a premise of other arguments. The word ''constituent'' may be used for either a premise or conclusion.In the context of this article and in most classical contexts, all candidates for consideration as argument constituents fall under the category of truth-bearer: propositions, statements, sentences, judgments, etc.
抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「Argument-deduction-proof distinctions」の詳細全文を読む
スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース |
Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.
|
|